First-order model theory of free projective planes

We prove that the theory of open projective planes is complete and strictly stable, infer from this Marshall Hall's free ( π n : 4 ⩽ ω ) are all elementary equivalent their common stable decidable, being in fact planes. further characterize substructure relation class planes, show particular an chain. then does not have a prime model, it has elimination quantifiers down to Boolean combinations existential formulas, model complete. Finally, we forking independence models 's strongly type-homogeneous.